A search game taking account of attributes of searching resources

This article deals with a two‐person zero‐sum game called a search allocation game (SAG), in which a searcher and a target participate as players. The searcher distributes his searching resources in a search space to detect the target. The effect of resources lasts a certain period of time and extends to some areas at a distance from the resources' dropped points. On the other hand, the target moves around in the search space to evade the searcher. In the history of search games, there has been little research covering the durability and reachability of searching resources. This article proposes two linear programming formulations to solve the SAG with durable and reachable resources, and at the same time provide an optimal strategy of distributing searching resources for the searcher and an optimal moving strategy for the target. Using examples, we will analyze the influences of two attributes of resources on optimal strategies. © 2007 Wiley Periodicals, Inc. Naval Research Logistics 2008     

公共场所人员安全疏散评价方法探讨

公共场所安全疏散评价对于确保火灾中人员的生命安全具有重要意义。基于“性能化”防火设计的思想，对影响公共场所安全疏散的因素进行了分析，并对安全疏散的必要性能和评价程序进行了较为全面的探讨，其中包括烟气的评价、人员疏散能力的评价、疏散路线合理性的评价、疏散对策的评价等，目的在于通过合理的评价方法得出合理的疏散性能，为减少公共场所火灾造成的人员伤亡和财产损失提供帮助。     

当代未成年人思想道德状况分析

当代未成年人思想道德状况总体是好的，热爱祖国、积极向上、团结友爱、文明礼貌是其精神世界的主流。与此同时，在国内外因素的影响下，也出现了一些思想道德问题。当代未成年人思想道德问题是由多方面原因导致的，只有社会、学校、家庭等各方面齐抓共管，共同努力，才能使未成年人思想道德素质得到进一步的改善和提高。     

2005～2009年《武警学院学报》文献计量分析

通过对2005～2009年《武警学院学报》5年间的载文、作者及引文情况进行统计分析，研究其载文量、栏目设置以及著者、发文地区和著者系统分布，并统计出合作度、合作类型、引文量、篇均引文数、引文语种及引文类型等，以期描述学报在改为月刊后的出版状况，从中发现一些带有规律性的问题，并客观评价其办刊特色，为刊物的进一步发展及相关学科动向提供理论依据。     

Turbo C与Microsoft FORTRAN混合编程的实现

本文通过研究Borland公司的Turbo C与Microsoft公司的FORTRAN混合编程时出现的问题,提出了修改初始化模块及函数库的原理与方法,并利用TLINK的动态连接功能,实现了这两种语言在源程序级的混合编程,最后说明了实现过程与注意事项。     

变量有界线性目标规划的对偶算法

本文讨论了变量有界的线性目标规划问题,给出了求解这类问题的一个对偶算法,此方法与变量有界线性规划问题的对偶算法相类似。文中证明了算法的有效性,并举例说明了计算过程。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

单片微型计算机的最新开发技术

本文以 MCS-51系列单片微型机为例,讨论了当前单片机最新编程技术 MBASIC 语言编程和在 IBM-PC 机及兼容机中直接进行模拟/调试,文中给出相应的例子。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

1553B 总线仿真系统总线控制软件设计

就仿真系统对１５５３Ｂ单层总线系统和层次总线系统的总线控制软件设计进行了研究,给出了提高系统效率的方案和优化１５５３Ｂ总线数据流的方法。